\documentclass{article}
\usepackage{amssymb,amsmath,amscd,concmath}
\pagestyle{empty}
\begin{document}
\begin{equation*}O(f(n)) = {g(n) : \exists c, n_0 such that \forall n \ge n_0 0 \le f(n) \le cg(n)}
\end{equation*}
\end{document}
